var not_ok;